Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP

There is a growing need to support parallel computation in Ada to cope with the performance requirements of the most advanced functionalities of safety-critical systems. In that regard, the use of parallel programming models is paramount to exploit the benefits of parallelism. Recent works motivate the use of OpenMP for being a de facto standard in high-performance computing for programming shared memory architectures. These works address two important aspects towards the introduction of OpenMP in Ada: the compatibility of the OpenMP syntax with the Ada language, and the interoperability of the OpenMP and the Ada runtimes, demonstrating that OpenMP complements and supports the structured parallelism approach of the tasklet model. This paper addresses a third fundamental aspect: functional safety from a compiler perspective. Particularly, it focuses on race conditions and considers the fine-grain and unstructured capabilities of OpenMP. Hereof, this paper presents a new compiler analysis technique that: (1) identifies potential race conditions in parallel Ada programs based on OpenMP or Ada tasks or both, and (2) provides solutions for the detected races.This work was supported by the Spanish Ministry of Science and Innovation under contract TIN2015-65316-P, and by the FCT (Portuguese Foundation for Science and Technology) within the CISTER Research Unit (CEC/04234).Peer ReviewedPostprint (author's final draft

Search for anomalous couplings in the W tb vertex from the measurement of double differential angular decay rates of single top quarks produced in the t-channel with the ATLAS detector

The electroweak production and subsequent decay of single top quarks is determined by the properties of the Wtb vertex. This vertex can be described by the complex parameters of an effective Lagrangian. An analysis of angular distributions of the decay products of single top quarks produced in the t -channel constrains these parameters simultaneously. The analysis described in this paper uses 4.6 fb−1 of proton-proton collision data at √s =7 TeV collected with the ATLAS detector at the LHC. Two parameters are measured simultaneously in this analysis. The fraction f 1 of decays containing transversely polarised W bosons is measured to be 0.37 ± 0.07 (stat.⊕syst.). The phase δ − between amplitudes for transversely and longitudinally polarised W bosons recoiling against left-handed b-quarks is measured to be −0.014π ± 0.036π (stat.⊕syst.). The correlation in the measurement of these parameters is 0.15. These values result in two-dimensional limits at the 95% confidence level on the ratio of the complex coupling parameters g R and V L, yielding Re[g R /V L] ∈ [−0.36, 0.10] and Im[g R /V L] ∈ [−0.17, 0.23] with a correlation of 0.11. The results are in good agreement with the predictions of the Standard Model

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at root s = 8 TeV with the ATLAS detector (vol 75, 299, 2015)

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √s=8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT>120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between EmissT>150 GeV and EmissT>700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presented

Measurement of the W±Z boson pair-production cross section in pp collisions at √s=13TeV with the ATLAS detector

published_or_final_versio

Search for dark matter at √s=13 TeV in final states containing an energetic photon and large missing transverse momentum with the ATLAS detector

Results of a search for physics beyond the Standard Model in events containing an energetic photon and large missing transverse momentum with the ATLAS detector at the Large Hadron Collider are reported. As the number of events observed in data, corresponding to an integrated luminosity of 36.1 fb−1 of proton–proton collisions at a centre-of-mass energy of 13 TeV, is in agreement with the Standard Model expectations, model-independent limits are set on the fiducial cross section for the production of events in this final state. Exclusion limits are also placed in models where dark-matter candidates are pair-produced. For dark-matter production via an axial-vector or a vector mediator in the s-channel, this search excludes mediator masses below 750–1200 GeV for dark-matter candidate masses below 230–480 GeV at 95% confidence level, depending on the couplings. In an effective theory of dark-matter production, the limits restrict the value of the suppression scale M∗ to be above 790 GeV at 95% confidence level. A limit is also reported on the production of a high-mass scalar resonance by processes beyond the Standard Model, in which the resonance decays to Zγ and the Z boson subsequently decays into neutrinos

Measurement of the transverse polarization of Λ and Λ¯ hyperons produced in proton-proton collisions at √s=7 TeV using the ATLAS detector

The transverse polarization of Λ and Λ¯ hyperons produced in proton-proton collisions at a center-of-mass energy of 7 TeV is measured. The analysis uses 760  μb−1 of minimum bias data collected by the ATLAS detector at the LHC in the year 2010. The measured transverse polarization averaged over Feynman xF from 5×10−5 to 0.01 and transverse momentum pT from 0.8 to 15 GeV is −0.010±0.005(stat)±0.004(syst) for Λ and 0.002±0.006(stat)±0.004(syst) for Λ¯. It is also measured as a function of xF and pT, but no significant dependence on these variables is observed. Prior to this measurement, the polarization was measured at fixed-target experiments with center-of-mass energies up to about 40 GeV. The ATLAS results are compatible with the extrapolation of a fit from previous measurements to the xF range covered by this measurement

Charged-particle distributions at low transverse momentum in √s=13 13 TeV pp interactions measured with the ATLAS detector at the LHC

Measurements of distributions of charged particles produced in proton–proton collisions with a centre-of-mass energy of 13 TeV are presented. The data were recorded by the ATLAS detector at the LHC and correspond to an integrated luminosity of 151 μb −1 μb−1 . The particles are required to have a transverse momentum greater than 100 MeV and an absolute pseudorapidity less than 2.5. The charged-particle multiplicity, its dependence on transverse momentum and pseudorapidity and the dependence of the mean transverse momentum on multiplicity are measured in events containing at least two charged particles satisfying the above kinematic criteria. The results are corrected for detector effects and compared to the predictions from several Monte Carlo event generators

Measurement of the inelastic proton-proton cross section at √s=13 TeV with the ATLAS detector at the LHC

This Letter presents a measurement of the inelastic proton-proton cross section using 60  μb −1 of pp collisions at a center-of-mass energy √s of 13 TeV with the ATLAS detector at the LHC. Inelastic interactions are selected using rings of plastic scintillators in the forward region (2.0710 −6 , where M X is the larger invariant mass of the two hadronic systems separated by the largest rapidity gap in the event. In this ξ range the scintillators are highly efficient. For diffractive events this corresponds to cases where at least one proton dissociates to a system with M X >13  GeV . The measured cross section is compared with a range of theoretical predictions. When extrapolated to the full phase space, a cross section of 78.1±2.9  mb is measured, consistent with the inelastic cross section increasing with center-of-mass energy

Measurement of the cross section for inclusive isolated-photon production in pp collisions at √s=13TeV using the ATLAS detector

Inclusive isolated-photon production in pp collisions at a centre-of-mass energy of 13TeVis studied with the ATLAS detector at the LHC using a data set with an integrated luminosity of 3.2fb−1. The cross section is measured as a function of the photon transverse energy above 125GeVin different regions of photon pseudorapidity. Next-to-leading-order perturbative QCD and Monte Carlo event-generator predictions are compared to the cross-section measurements and provide an adequate description of the data